ลองนึกภาพความท้าทายในการแก้ระบบสมการที่มีตัวแปรหลายพันตัว แล้วเราจะดึงความจริงออกมาจากกริดของสัมประสิทธิ์ที่ยุ่งเหยิงได้อย่างไร? การคูณแมทริกซ์แบบเกาส์ เป็นเครื่องมือหลักของเรา ซึ่งเป็นกระบวนการจัดการตัวแปรอย่างเป็นระบบ เพื่อลดระบบที่ซับซ้อนให้กลายเป็นรูปแบบสามเหลี่ยมที่โปร่งใส ทำให้เราสามารถหาคำตอบได้ทีละขั้นผ่านการแทนค่ากลับไปยังสมการเดิม
โครงสร้างของระบบเชิงเส้น
ในวิเคราะห์เชิงตัวเลข เราแสดงระบบสมการเชิงเส้น $n$ สมการ เป็นผลคูณของเมทริกซ์ $Ax = \mathbf{b}$ โดยที่ $A$ เป็นเมทริกซ์สัมประสิทธิ์ขนาด $n \times n$, $x$ คือเวกเตอร์ของตัวแปรที่ไม่ทราบค่า และ $\mathbf{b}$ คือเวกเตอร์ของค่าคงที่ เพื่อให้ดำเนินการได้อย่างมีประสิทธิภาพ เราใช้ เมทริกซ์ขยาย $[A, \mathbf{b}]$.
เป้าหมายหลัก
ผ่านลำดับการดำเนินการแถวพื้นฐาน (EROs) เราต้องการเปลี่ยนสถานะของระบบให้กลายเป็นรูปแบบที่เทียบเท่ากัน สามเหลี่ยมบน รูปแบบ $U$:
$$[A, \mathbf{b}] \rightarrow [U, \mathbf{b}']$$
โดยที่สมาชิกทุกตัวใต้เส้นแนวทแยงมุม $u_{ii}$ จะเป็นศูนย์
การดำเนินการแถวพื้นฐาน (EROs)
ความถูกต้องของชุดคำตอบของเราพึ่งพาการดำเนินการที่ไม่เปลี่ยนแปลงค่าคงที่ 3 ประการ:
- สลับ: $(E_i) \leftrightarrow (E_j)$ — การสลับแถวเพื่อจัดตำแหน่งพารามิเตอร์ที่ดีกว่า
- ปรับขนาด: $(\lambda E_i) \rightarrow (E_i)$ — การคูณแถวใดแถวหนึ่งด้วยจำนวนจริงที่ไม่ใช่ศูนย์
- แทนที่: $(E_i + \lambda E_j) \rightarrow (E_i)$ — ใจความสำคัญของการกำจัด โดยเฉพาะ เราใช้ตัวคูณ $m_{j1} = a_{j1}/a_{11}$ เพื่อคำนวณ $(E_j - m_{j1} E_1) \rightarrow (E_j)$
โครงสร้างและคุณสมบัติของเมทริกซ์
ตามทฤษฎีบท 6.8 การดำเนินการเมทริกซ์ปฏิบัติตามกฎทางพีชคณิตเฉพาะ เช่น การรวมกลุ่ม ($A(BC) = (AB)C$) แต่กลับขาด การสลับที่ ($AB \neq BA$ ในทั่วไป) การรู้จักโครงสร้างเฉพาะ เช่น เมทริกซ์สมมาตร ($A = A^t$) และ เมทริกซ์เอกลักษณ์ ($I_n$) ทำให้สามารถใช้วิธีการแยกตัวประกอบที่เฉพาะเจาะจงและเร็วขึ้น เช่น $LDL^t$
🎯 หลักการหลัก: ความไม่เปลี่ยนแปลง
EROs ไม่เปลี่ยนแปลงชุดคำตอบ เพราะแต่ละการดำเนินการสามารถย้อนกลับได้สมบูรณ์ ด้วยการนำไปใช้กับเมทริกซ์ขยาย เราสามารถแก้สมการทั้งหมดพร้อมกันโดยไม่สูญเสียความสัมพันธ์เชิงตรรกะระหว่างสัมประสิทธิ์กับค่าคงที่เป้าหมาย